量子相干性是量子物理学的一个基本量子资源，描述了量子态表现出量子干涉现象的能力。它是量子信息处理中的重要组成部分[1]，并在量子计算[2, 3]、量子密码学[4]、量子计量学[5, 6]和量子生物学[7]等新兴领域发挥着核心作用。因此，随着近年来量子信息科学的发展[8–12]，相干性资源理论引起了越来越多的关注。量子资源理论有两个基本要素：自由态和自由操作[13–15]。在相干性资源理论中，自由态是在预先确定的参考基上对角的量子态。关于相干性资源理论中的自由操作集，目前尚无普遍的共识。基于各种物理和数学考虑，提出了几种相干性自由操作[12]。这里，我们集中讨论参考文献 [16] 中给出的严格非相干操作。参考文献 [17] 表明，严格非相干操作既不产生相干性也不利用相干性，并且在干涉测量方面有物理解释。因此，严格非相干操作是一组物理上符合良好动机的相干自由操作，也是自由操作的有力候选者。当我们执行量子信息处理任务时，纯相干态通常起着核心作用 [1]。不幸的是，由于量子系统不可避免地会受到噪声的影响，纯态很容易变成混合态。因此，相干性资源理论的一个核心问题是相干性提炼，即通过非相干操作从初始混合态中提取目标纯相干态的过程。最近，这个问题引起了很大的兴趣 [16, 18–28]。在文献 [16, 18, 19] 中，我们研究了通过各种非相干操作实现混合态相干性的渐近极限。另一种方案是一次性相干性蒸馏方案，即 pro-